More from this Author

Tools and Algorithms for the Construction and Analysis of Systems

by Dana Fisman (Editor), Grigore Rosu (Editor)

Algebraic Methodology and Software Technology

by Jose Meseguer (Editor), Grigore Rosu (Editor)

Formal Techniques for Distributed Systems

by Holger Giese (Editor), Grigore Rosu (Editor)